<!DOCTYPE html>
<html>

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  <meta name="description" content="">
  <meta name="HandheldFriendly" content="True">
  <meta name="MobileOptimized" content="320">
  <meta name="viewport" content="initial-scale=0.6, minimum-scale=0.6, maximum-scale=1.0, user-scalable=no">
  <meta itemprop="image" content="static/yzu_ie_icon.png">
  <meta itemprop="name" content="第四届智能化软件工程研讨会">
  <meta name="description" itemprop="description" content="第四届智能化软件工程研讨会">
  <meta property="og:type" content="website">
  <meta property="og:title" content="第四届智能化软件工程研讨会">
  <meta property="og:description" content="第四届智能化软件工程研讨会">
  <meta property="og:image" content="static/yzu_ie_icon.png">

  <title>第四届智能化软件工程研讨会</title>
  <link rel="icon" href="static/yzu_ie_icon.png" type="image/x-icon">

  <!--<link href="http://fonts.googleapis.com/css?family=Raleway:700,300" rel="stylesheet"
          type="text/css">-->
  <link rel="stylesheet" href="static/style.css">

  <link rel="stylesheet" href="static/prettify.css">
</head>

<body>
  <div class="wrapper">
    <div style="line-height: 0;">
      <img src="static/homepage.jpg" style="width: 100%;">
      <header>
        <div class="container">
           <h2 class="lone-header"><font color="#121212" size="4px">The 4th Symposium on Intelligent Software Engineering （SISE'21） </font></h2>
          <h2 class="lone-header"><b>
              <font color="#121212" size="6px"> 第四届智能化软件工程研讨会</font>
            </b></h2>
          <h2 class="lone-header">
            <font color="#121212" size="4px"> 2021年11月27日，扬州大学，扬州</font>
          </h2>
        </div>
      </header>
    </div>
    <section>
      <!--<img src="./img/title.jpg"  style="width: 100%;"/> -->
      <div class="container">
        <ul class="docs-nav" style="top: 0px;">
          <li class="separator"></li>
          <li><a href="index.html" class="cc-active">会议主页</a></li>
          <li><a href="organization.html" class="cc-active">组织机构</a></li>
          <li><a href="experts.html" class="cc-active active">特邀专家</a></li>
          <li><a href="program.html" class="cc-active">会议日程</a></li>
          <li><a href="photos.html" class="cc-active">会议照片</a></li>
          <li><a href="resources.html" class="cc-active">会议资源</a></li>

          <li class="separator"></li>
        </ul>
        <div class="docs-content">
          <table>
          <tbody>
            <tr>



              <td align="left" class="normal">
                <font size="6"><strong>特邀专家</strong></font>
              </td>
            </tr>

            <tr>
              <td align="justify">
                <div align="left" class="normal">
                  <!-- <div>大会报告特邀专家（按姓氏拼音排序）</div> -->
                  <div>大会报告特邀专家</div>
                  <hr size="1" noshade="">
                  <!-- <div>持续更新中</div> -->
                  
                  
<!-- <p style='margin:0cm;text-align:left;font-size:14px;font-family:"Calibri",sans-serif;'><strong><span style="font-size:16px;font-family:仿宋;color:black;">附件</span></strong><strong><span style="font-size:16px;font-family:仿宋;color:black;">1</span></strong><strong><span style="font-size:16px;font-family:仿宋;color:black;">：特邀报告和专家介绍</span></strong></p> -->
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;color:black;">学术报告</span></strong><strong><span style="font-size:16px;color:black;">1</span></strong><span style="font-size:16px;font-family:仿宋;">：区块链可靠性技术研究</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;color:black;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：软件系统复杂化及大规模化的趋势，使得软件可靠性的保障变的越来越困难。各类新型软件系统的涌现，也为软件可靠性的研究带来了新的挑战。作为一种新型的分布式系统，区块链是分布式数据存储、点对点传输、共识机制、加密算法等计算机技术的新型应用模式，具有去中心化、公开透明、防篡改等特点。区块链的可靠性保障技术越来越获得学术界及工业界的关注。这个报告将介绍区块链体系结构、智能合约、及交易网络三个层面的可靠性的相关研究工作。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;'>&nbsp;</p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="102" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;color:black;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：郑子彬，中山大学软件工程学院副院长、区块链与智能金融研究中心主任、国家数字家庭工程技术研究中心副主任、</span><span style="font-size:16px;font-family:仿宋;">IET Fellow</span><span style="font-size:16px;font-family:仿宋;">、国家优秀青年科学基金获得者。共发表论文</span><span style="font-size:16px;font-family:仿宋;">100</span><span style="font-size:16px;font-family:仿宋;">余篇，论文引用超过</span><span style="font-size:16px;font-family:仿宋;">18000</span><span style="font-size:16px;font-family:仿宋;">次。获得教育部自然科学奖二等奖，青年珠江学者、珠江科技新星、</span><span style="font-size:16px;font-family:仿宋;">2018</span><span style="font-size:16px;font-family:仿宋;">年度全球区块链</span><span style="font-size:16px;font-family:仿宋;">50</span><span style="font-size:16px;font-family:仿宋;">篇最具影响力论文奖等。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style="font-size:16px;font-family:仿宋;">&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style="font-size:16px;font-family:仿宋;">&nbsp;</span></p>
<p style='margin:0cm;text-align:left;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><br></p>
<p style='margin:0cm;text-align:left;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;color:black;">学术报告</span></strong><strong><span style="font-size:16px;color:black;">2</span></strong><strong><span style="font-size:16px;font-family:仿宋;color:black;">：</span></strong><span style="font-size:16px;font-family:仿宋;">从参数化到概率化：北京大学在程序合成和调试上的近期部分工作介绍</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;color:black;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：过去</span><span style="font-size:16px;font-family:仿宋;">20</span><span style="font-size:16px;font-family:仿宋;">年，数据驱动的软件工程技术获得很大发展，多个不同领域的技术都在大数据的帮助下获得显著提高。不过，现有大部分数据驱动的工作都是参数化的，即在大数据的帮助下对一些未知参数进行调参，而这些参数本身可能没有概率论上的解释。但如果我们从一开始就试图建立概率模型，那么我们就可以利用概率论的规则和程序相关的语法、语义等信息进行推导，既能够更有效地从数据中学习，也可以帮我们做出一些概率上最优的决策。本报告将介绍北京大学团队沿着这个思路的部分近期工作，包括用于程序合成的玲珑框架以及其他代码生成、缺陷修复上的应用，以及用概率方法提出一个新的差异化调试算法。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style="font-size:16px;font-family:仿宋;">&nbsp;</span></p>
<p style='margin:0cm;text-align:left;font-size:14px;font-family:"Calibri",sans-serif;margin-top:7.8pt;margin-right:0cm;margin-bottom:7.8pt;margin-left:0cm;line-height:22.0pt;'><img width="107" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：熊英飞，于</span><span style="font-size:16px;font-family:仿宋;">2009</span><span style="font-size:16px;font-family:仿宋;">年从日本东京大学获得博士学位，</span><span style="font-size:16px;font-family:仿宋;">2009-2011</span><span style="font-size:16px;font-family:仿宋;">年在加拿大滑铁卢大学工作，</span><span style="font-size:16px;font-family:仿宋;">2012</span><span style="font-size:16px;font-family:仿宋;">年加入北京大学，现任新体制长聘副教授。熊英飞的研究兴趣是程序设计语言和软件工程，特别是程序分析、综合和修复。他提出了理论和方法降低程序编写和缺陷修复的代价。比如，基于差别的双向变换框架是最广泛使用的双向变换框架之一，</span><span style="font-size:16px;font-family:仿宋;">ACS</span><span style="font-size:16px;font-family:仿宋;">将程序修复技术在公共数据集上的正确率从此前不到</span><span style="font-size:16px;font-family:仿宋;">40%</span><span style="font-size:16px;font-family:仿宋;">提升到</span><span style="font-size:16px;font-family:仿宋;">70%</span><span style="font-size:16px;font-family:仿宋;">以上。他的工作也被工业界采用，比如新一代</span><span style="font-size:16px;font-family:仿宋;">Linux</span><span style="font-size:16px;font-family:仿宋;">内核配置项目、燕云</span><span style="font-size:16px;font-family:仿宋;">DaaS</span><span style="font-size:16px;font-family:仿宋;">系统、华为公司等。他是</span><span style="font-size:16px;font-family:仿宋;">SATE18</span><span style="font-size:16px;font-family:仿宋;">的程序委员会联合主席，也在</span><span style="font-size:16px;font-family:仿宋;">ICSE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">FSE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">ASE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">ISSTA</span><span style="font-size:16px;font-family:仿宋;">等会议担任</span><span style="font-size:16px;font-family:仿宋;">PC</span><span style="font-size:16px;font-family:仿宋;">。他是国家优秀青年科学基金获得者，获得</span><span style="font-size:16px;font-family:仿宋;">2020</span><span style="font-size:16px;font-family:仿宋;">年</span><span style="font-size:16px;font-family:仿宋;">NASAC</span><span style="font-size:16px;font-family:仿宋;">青年软件创新奖、</span><span style="font-size:16px;font-family:仿宋;">2021</span><span style="font-size:16px;font-family:仿宋;">年</span><span style="font-size:16px;font-family:仿宋;">CCF-IEEE CS</span><span style="font-size:16px;font-family:仿宋;">青年科学家奖。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;'>&nbsp;</p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">学术报告</span></strong><strong><span style="font-size:16px;font-family:仿宋;">3</span></strong><span style="font-size:16px;font-family:仿宋;">：基于在线验证的实时系统运行时安全监控与控制生成</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：实时混成系统广泛出现在列控、航天、航空、智能驾驶等安全攸关领域，其行为正确性至关重要。然而，实时混成系统内部行为中离散、连续行为交织，极其复杂；而外界动态不确定环境更近一步加剧了相关系统行为复杂度，使得相关系统的安全保障难以进行。针对此问题，我们提出了一种基于形式化验证的方法，运行时对系统短期内行为进行快速建模与验证，从而对潜在不安全行为进行发现与预警。在此基础上，进一步进行运行时细粒度控制参数自动生成，在发现潜在危险时，接管系统控制，保障安全。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="109" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：卜磊，南京大学计算机科学与技术系教授，博导。主要研究领域是软件工程与形式化方法，包括模型检验技术，实时混成系统，信息物理融合系统等方向。</span><span style="font-size:16px;font-family:仿宋;">2010</span><span style="font-size:16px;font-family:仿宋;">年在南京大学获取计算机博士学位。曾在</span><span style="font-size:16px;font-family:仿宋;">CMU</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">MSRA</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">UTD</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">FBK</span><span style="font-size:16px;font-family:仿宋;">等科研机构进行访学与合作研究。相关工作发表于领域重要期刊与会议如</span><span style="font-size:16px;font-family:仿宋;">TCAD</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">TC</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">TDSC</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">TCPS</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">TPDS</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">RTSS</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">HSCC</span><span style="font-size:16px;font-family:仿宋;">、</span><span style="font-size:16px;font-family:仿宋;">VMCAI</span><span style="font-size:16px;font-family:仿宋;">等。入选国家级青年人才项目，</span><span style="font-size:16px;font-family:仿宋;">NASAC</span><span style="font-size:16px;font-family:仿宋;">青年软件创新奖，高校计算机专业优秀教师奖励计划，中国计算机学会青年人才发展计划，微软亚洲研究院铸星计划等。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;'><span style="font-size:15px;">&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><br></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">学术报告</span></strong><strong><span style='font-size:16px;font-family:"Times New Roman",serif;'>4</span></strong><span style="font-size:16px;font-family:仿宋;">：</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Knowledge Graph for Software Engineering</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Software engineering is knowledge intensive. Nobody can know every piece of the knowledge. The fact that plethora of software data is available in the repositories and documentation does not mean that software engineering knowledge is readily accessible in the course of pursing a software development goal. Will lifting the knowledge accessibility level make software development more productive and less vulnerable? If so, how can we achieve this? In this talk I will share some of our recent work on knowledge graph for software engineering, including some published work on technology landscape graph, API-caveat knowledge graph, task-oriented knowledge graph and how they help software development tasks. I will also introduce some of our preliminary work on vulnerability knowledge extraction and analysis.&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="117" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Dr. Zhenchang Xing is an Associate Professor in the School of Computing, Australian National University. Previously, he was an Assistant Professor in the School of Computer Science and Engineering, Nanyang Technological University, Singapore, from 2012-2016. Before joining NTU, Dr. Xing was a Lee Kuan Yew Research Fellow in the School of Computing, National University of Singapore from 2009-2012. Dr. Xing&rsquo;s current research area is in the interdisplinary areas of software engineering, human-computer interaction and artificial intelligence, with the specific focus on developing knowledge graph methods and behaviour analytics for improving software development productivity and software quality. Dr. Xing has over 150 peer-reviewed publications in highly competitive and reputable journals and conferences, and have received multiple distinguished paper awards from the top software engineering conferences, including ASE 2021&apos;s Most Influential Paper Award, three ACM SIGSOFT Distinguished Paper Awards and two IEEE TCSE Distinguished Paper Awards. Dr. Xing regularly serves on the organization and program committees of the top software engineering conferences, and he was the program committee co-chair for ICSME2020. He serves on the editor board of Journal of Software: Evolution and Process.</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">学术报告</span></strong><strong><span style='font-size:16px;font-family:"Times New Roman",serif;'>5</span></strong><span style="font-size:16px;font-family:仿宋;">：</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>A Road Towards an Interaction between Cyber Security and Artificial Intelligence</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>as image classification, speech recognition and autonomous driving. In this talk, we will discuss the interaction between cyber security and AI. In terms of cyber security, how to better employ AI to address the cyber security issues and explore the limitations of AI in practice. Here, we will introduce our recent work on malicious code and vulnerability analysis with AI to give an in-depth discussion of this interesting topic. On the other hand, deep learning systems also suffer severe quality, reliability, and security issues in deployment. Due to the fundamental programming paradigm difference from the traditional software, there is still a lack of techniques and toolkit for quality and reliability assurance of DL software. In this talk, I will introduce our recent work DeepStudio, a full stack analysis framework for evaluating the quality and security of DL systems in the development life cycle: the data analysis, the robustness analysis for a new trained model, and the compatibility analysis in the deployment phase.</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;'><span style="font-size:15px;">&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="125" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：刘杨，新加坡南洋理工大学（</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>NTU</span><span style="font-size:16px;font-family:仿宋;">）计算机学院教授，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>NTU</span><span style="font-size:16px;font-family:仿宋;">网络安全实验室主任、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>HP-NTU</span><span style="font-size:16px;font-family:仿宋;">公司实验室项目主任以及新加坡国家卓越卫星中心副主任，并于</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>2019</span><span style="font-size:16px;font-family:仿宋;">年荣获大学领袖论坛讲席教授。刘杨博士专攻软件验证，软件安全和软件工程，其研究填补了形式化方法和程序分析中理论和实际应用之间的空白，评估了软件的设计与实现以确保高安全性。到目前为止，他已经在顶级会议和顶级期刊上发表了超过</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>400</span><span style="font-size:16px;font-family:仿宋;">篇文章。他还获得多项著名奖项，包括</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>MSRA fellowship</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>TRF Fellowship,&nbsp;</span><span style="font-size:16px;font-family:仿宋;">南洋助理教授，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Tan Chin Tuan Fellowship</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Nanyang Research Award 2019</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>NRF Investigatorship 2020</span><span style="font-size:16px;font-family:仿宋;">，并且在</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ASE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>FSE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ICSE</span><span style="font-size:16px;font-family:仿宋;">等顶级会议上获得</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>20</span><span style="font-size:16px;font-family:仿宋;">项最佳论文奖以及最具影响力软件奖。</span></p>
<p style='margin:0cm;text-align:left;font-size:14px;font-family:"Calibri",sans-serif;'>&nbsp;</p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">学术报告</span></strong><strong><span style='font-size:16px;font-family:"Times New Roman",serif;'>6</span></strong><span style="font-size:16px;font-family:仿宋;">：车控软件栈模糊测试</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：随着车联网及自动驾驶等技术的高速发展，车辆控制软件的规模也日益庞大，测试分析的难度及对安全的要求也越来越大。上层应用，协议到底层的内核等，微小的漏洞，都可能被触发利用引发严重的后果。所以，针对车控软件的安全保障至关重要。本报告针对</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>DDS</span><span style="font-size:16px;font-family:仿宋;">库，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>RTPS</span><span style="font-size:16px;font-family:仿宋;">协议，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>RTOS</span><span style="font-size:16px;font-family:仿宋;">内核等典型车控软件的模糊测试展开，提出基于智能动态调度的应用库模糊测试、跨状态覆盖搜索的协议模糊测试和任务感知学习的内核模糊测试，提升车控软件栈的安全测试效果。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="100" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：姜宇，清华大学软件学院副教授，博士生导师。获得</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>2020</span><span style="font-size:16px;font-family:仿宋;">年阿里巴巴达摩院青橙奖。研究方向为软件系统的动态安全测评分析，在广泛使用的系统软件中挖掘</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>170</span><span style="font-size:16px;font-family:仿宋;">个漏洞被收录入中美国家信息安全漏洞库，核心成果被并入</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>AFL++, Google ClusterFuzz, Microsoft OneFuzz</span><span style="font-size:16px;font-family:仿宋;">等模糊测试平台</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>,&nbsp;</span><span style="font-size:16px;font-family:仿宋;">以第一作者或通讯作者在</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ACM SOSP, USENIX ATC</span><span style="font-size:16px;font-family:仿宋;">及</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>IEEE S&amp;P&nbsp;</span><span style="font-size:16px;font-family:仿宋;">等会议上发表论文</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>70</span><span style="font-size:16px;font-family:仿宋;">余篇</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>,&nbsp;</span><span style="font-size:16px;font-family:仿宋;">获</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ACM EMSOFT</span><span style="font-size:16px;font-family:仿宋;">等会议最佳论或提名奖</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>6</span><span style="font-size:16px;font-family:仿宋;">次，作为项目负责人主持华为、腾讯、微众银行、阿里巴巴等横向课题</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>10</span><span style="font-size:16px;font-family:仿宋;">余项。</span></p>
<br>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">学术报告</span></strong><strong><span style='font-size:16px;font-family:"Times New Roman",serif;'>7</span></strong><span style="font-size:16px;font-family:仿宋;">：移动应用软件功能正确性的自动化测试探索</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：移动应用软件以图形界面为主，人机交互方式复杂，如何完全自动化地验证其软件功能正确性是一个很有挑战性的研究问题。本报告将介绍我们华东师范大学研究小组对这一问题的探索和思考。目前部分研究成果已经在一些商业应用中找到了不少此前未被发现的软件功能错误。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="119" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：苏亭，系华东师范大学软件工程学院教授（博导），入选国家级青年人才计划，先后在新加坡南洋理工大学和瑞士苏黎世联邦理工从事博士后研究工作。其研究成果获得了</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Google</span><span style="font-size:16px;font-family:仿宋;">教授研究奖、三项</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ACM SIGSOFT</span><span style="font-size:16px;font-family:仿宋;">杰出论文奖（</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ICSE 2018/ASE 2018/ASE 2019</span><span style="font-size:16px;font-family:仿宋;">）等。主要研究方向为软件工程、程序语言和软件安全，在</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>PLDI</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>OOPSLA</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ICSE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>FSE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ASE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ISSTA</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>TSE</span><span style="font-size:16px;font-family:仿宋;">等国际顶级会议和期刊上发表论文</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>30</span><span style="font-size:16px;font-family:仿宋;">余篇，担任</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ICSE</span><span style="font-size:16px;font-family:仿宋;">、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>OOPSLA</span><span style="font-size:16px;font-family:仿宋;">等国际顶级会议的</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>PC</span><span style="font-size:16px;font-family:仿宋;">成员。设计研发的</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>App</span><span style="font-size:16px;font-family:仿宋;">自动化测试工具已为腾讯、字节、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Google</span><span style="font-size:16px;font-family:仿宋;">等拥有亿级用户数量的软件产品发现了不少真实软件错误；工控软件的自动化单元测试工具</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>SmartRocket Unit</span><span style="font-size:16px;font-family:仿宋;">已服务于国内十余家大型企业的软件生产部门。</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">学术报告</span></strong><strong><span style='font-size:16px;font-family:"Times New Roman",serif;'>8</span></strong><span style="font-size:16px;font-family:仿宋;">：智能化软件工程：机遇与挑战</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><strong><span style="font-size:16px;font-family:仿宋;">报告摘要</span></strong><span style="font-size:16px;font-family:仿宋;">：现代软件工程积累了海量生产和开发数据，具有规模巨大、</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span><span style="font-size:16px;font-family:仿宋;">碎片分散、形态异构、快速膨胀等特性。从海量软件工程大数据中高效且准确的吸取营养和知识，以构建自动化、智能化工具解决在软件开发和维护中遇到的实际问题，是当前软件工程学科面临的新科学问题。本次报告将对智能软件工程的最新研究进展进行梳理和总结，并对未来研究进行展望，主要回答以下三个问题：（</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>1</span><span style="font-size:16px;font-family:仿宋;">）智能软件工程研究到底做了什么</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>? (2)&nbsp;</span><span style="font-size:16px;font-family:仿宋;">如何开展智能软件工程的研究</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>? &nbsp;(3)&nbsp;</span><span style="font-size:16px;font-family:仿宋;">未来有哪些可以继续探索的方向？</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><img width="123" src="" align="left" alt="image" style="float: left; text-align: left; display: inline-block; "><strong><span style="font-size:16px;font-family:仿宋;">报告人简介</span></strong><span style="font-size:16px;font-family:仿宋;">：夏鑫，目前担任华为软件工程应用技术实验室主任。</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span><span style="font-size:16px;font-family:仿宋;">他的研究方向是智能软件工程、软件仓库挖掘和经验软件工程。夏鑫至今发表了</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>230</span><span style="font-size:16px;font-family:仿宋;">多篇期刊和会议论文，其中包括</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>75</span><span style="font-size:16px;font-family:仿宋;">篇</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>CCF A</span><span style="font-size:16px;font-family:仿宋;">类期刊和会议长文。部分论文获得国际会议最佳</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>/</span><span style="font-size:16px;font-family:仿宋;">杰出论文奖项，包括</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>6</span><span style="font-size:16px;font-family:仿宋;">篇</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ACM SIGSOFT&nbsp;</span><span style="font-size:16px;font-family:仿宋;">杰出论文奖（</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ASE 2018-2021</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;ICPC 2018</span><span style="font-size:16px;font-family:仿宋;">和</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>2020</span><span style="font-size:16px;font-family:仿宋;">）。此外他担任了</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>MSR</span><span style="font-size:16px;font-family:仿宋;">和</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>SANER</span><span style="font-size:16px;font-family:仿宋;">会议的</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>Steering Committee</span><span style="font-size:16px;font-family:仿宋;">，多个国际会议的</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>PC (ICSE</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ESEC/FSE, ASE</span><span style="font-size:16px;font-family:仿宋;">等</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>)</span><span style="font-size:16px;font-family:仿宋;">，以及参与组织了多个国际会议（</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ICSE 2023</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;ASE 2020-2021</span><span style="font-size:16px;font-family:仿宋;">，</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>ICSME 2020, SANER 2019-2020</span><span style="font-size:16px;font-family:仿宋;">和</span><span style='font-size:16px;font-family:"Times New Roman",serif;'>2023</span><span style="font-size:16px;font-family:仿宋;">等）。更多信息在</span><span style='font-size:16px;font-family:"Times New Roman",serif;'><a href="https://xin-xia.github.io/"><span style="color:windowtext;text-decoration:none;">https://xin-xia.github.io/</span></a></span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span></p>
<p style='margin:0cm;text-align:justify;font-size:14px;font-family:"Calibri",sans-serif;line-height:20.0pt;'><span style='font-size:16px;font-family:"Times New Roman",serif;'>&nbsp;</span></p>


                </div>
              </td>
            </tr>
            </tbody>
          </table>

          <!-- </div> -->
          <!-- </td> -->
          <!-- </tr> -->
          <!-- </table></td> -->
      </div>
      <font face="黑体" size="4">
        <font face="黑体" size="4">
        </font>
      </font>
  </div>
  <font face="黑体" size="4">
    <font face="黑体" size="4">
    </font>
  </font>
  </section>
  <div align="center" style="background:#D7D5D3;">
        <div id="target">
            <div style="height:70px">
                <a href="http://xxgcxy.yzu.edu.cn/" target="_blank"><img src="static/yzu_ie_icon.png" width="60"
                                                                         align="middle"></a></div>
            <div style=" display: flex;padding:0 0 0 20px;flex-direction:column;justify-content:center ; line-height:1.5em">
                <span><p align="left"><a href="http://xxgcxy.yzu.edu.cn/" target="_blank"><font size="2" color="#121212">扬州大学信息工程学院(人工智能学院)<br>地址：江苏省扬州市华扬西路196号</font></a></p></span>
            </div>
        </div>

        <b align="center">
            &nbsp; <font size="2">有关技术问题请联系</font>
            <a href="mailto:snivy23@qq.com" class="notesize">
                <font size="2">网站管理员</font>
            </a>
        </b>
        <b align="center">
        </b>
    </div>
    <b align="center">
        <script src="static/jquery.min.js"></script>
        <script type="text/javascript" src="static/prettify.js"></script>
        <!-- <script src="https://cdn.bootcss.com/prettify/r298/run_prettify.js"></script> -->
        <script src="static/layout.js"></script>
    </b>
</div>
</body>

</html>